
/*
 * Symbol
 */

function Symbol (name)
{
    this.type="SYMBOL";
    this.name=name;
}

var symbolTable = {};

function makeSymbol (name)
{
    var symbol = symbolTable[name];
    if (!symbol) {
	symbol = new Symbol(name);
	symbolTable[name]=symbol;
    }
    return symbol;
}

function symbolp (x)
{
    return typep(x,"SYMBOL");
}

function makeAtom(string)
{
    return makeSymbol(string);
}